From model checking to equilibrium checking: Reactive modules for rational verification
نویسندگان
چکیده
منابع مشابه
From model checking to equilibrium checking: Reactive modules for rational verification
Article history: Received 2 July 2015 Received in revised form 2 April 2017 Accepted 8 April 2017 Available online 12 April 2017
متن کاملRational Verification: From Model Checking to Equilibrium Checking
Rational verification is concerned with establishing whether a given temporal logic formula φ is satisfied in some or all equilibrium computations of a multi-agent system – that is, whether the system will exhibit the behaviour φ under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the framework of rational verificat...
متن کاملFrom model checking to equilibrium checking
Equilibrium checking is concerned with establishing whether a given temporal logic formula φ is satisfied in some or all equilibrium computations of a multi-agent system – that is, whether the system will exhibit the behaviour φ under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the framework of equilibrium checkin...
متن کاملModel Checking Rational Play
We show that the problem of model checking “ATLwith Plausibility” is ∆3 -complete. We consider two variants of the logic: one with abstract terms describing plausibility sets, and another one where plausibility assumptions are imposed through formulae of ATLI [19]. In both cases, the complexity results are the same.
متن کاملModel Checking: Verification or Debugging?
Model checking tools are increasingly being used for the validation of real-life systems in an industrial context. This paper discusses two validation approaches with respect to the application of model checkers. The verification approach tries to ascertain the correctness of a formal model of a system, whereas the debugging approach tries to find errors in the model. This paper discusses the d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2017
ISSN: 0004-3702
DOI: 10.1016/j.artint.2017.04.003